Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
2012 7th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS) : proceedings : June 4-5, 2012, Zürich, Switzerland
| 2012 7th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS) : proceedings : June 4-5, 2012, Zürich, Switzerland |
| Autore | Müller Hausi A |
| Pubbl/distr/stampa | [Place of publication not identified], : IEEE Press, 2012 |
| Descrizione fisica | 1 online resource (79 pages) |
| Soggetto topico |
Engineering & Applied Sciences
Computer Science |
| ISBN | 1-4673-1787-X |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
SEAMS
Software Engineering for Adaptive and Self-Managing Systems Proceedings of the 7th International Symposium on Software Engineering for Adaptive and Self-Managing Systems |
| Record Nr. | UNINA-9910375752503321 |
Müller Hausi A
|
||
| [Place of publication not identified], : IEEE Press, 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
2013 9th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE) : proceedings : August 18-26, 2013, Saint Petersburg, Russia
| 2013 9th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE) : proceedings : August 18-26, 2013, Saint Petersburg, Russia |
| Autore | Meyer Bertrand |
| Pubbl/distr/stampa | [Place of publication not identified], : ACM, 2013 |
| Descrizione fisica | 1 online resource (738 pages) |
| Soggetto topico |
Engineering & Applied Sciences
Computer Science |
| ISBN | 1-4503-2237-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
2013 9th Joint Meeting of the European Software Engineering Conference and the Association for Computing Machinery Special Interest Group on Software Engineering Symposium on the Foundations of Software Engineering (ESEC/FSE) : proceedings : August 18-26, 2013, Saint Petersburg, Russia
Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering ESEC/FSE '13 Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, Saint Petersburg, Russian Federation - August 18 - 26, 2013 |
| Record Nr. | UNINA-9910375878503321 |
|
Meyer Bertrand
|
||
| [Place of publication not identified], : ACM, 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Engineering Multi-Agent Systems [[electronic resource] ] : Third International Workshop, EMAS 2015, Istanbul, Turkey, May 5, 2015, Revised, Selected, and Invited Papers / / edited by Matteo Baldoni, Luciano Baresi, Mehdi Dastani
| Engineering Multi-Agent Systems [[electronic resource] ] : Third International Workshop, EMAS 2015, Istanbul, Turkey, May 5, 2015, Revised, Selected, and Invited Papers / / edited by Matteo Baldoni, Luciano Baresi, Mehdi Dastani |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (X, 231 p. 55 illus. in color.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Software engineering Computer programming Artificial Intelligence Software Engineering Programming Techniques |
| ISBN | 3-319-26184-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Programming frameworks -- Languages, models and abstractions for MAS -- Formal methods and declarative technologies for specification, verification and engineering of MAS -- MAS software engineering methodologies and techniques, and development concerns -- Interoperability and integration -- Tools and testbeds -- MAS techniques -- Empirical studies and (industrial) experience reports. |
| Record Nr. | UNINA-9910484506703321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Engineering Multi-Agent Systems [[electronic resource] ] : Third International Workshop, EMAS 2015, Istanbul, Turkey, May 5, 2015, Revised, Selected, and Invited Papers / / edited by Matteo Baldoni, Luciano Baresi, Mehdi Dastani
| Engineering Multi-Agent Systems [[electronic resource] ] : Third International Workshop, EMAS 2015, Istanbul, Turkey, May 5, 2015, Revised, Selected, and Invited Papers / / edited by Matteo Baldoni, Luciano Baresi, Mehdi Dastani |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (X, 231 p. 55 illus. in color.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Software engineering Computer programming Artificial Intelligence Software Engineering Programming Techniques |
| ISBN | 3-319-26184-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Programming frameworks -- Languages, models and abstractions for MAS -- Formal methods and declarative technologies for specification, verification and engineering of MAS -- MAS software engineering methodologies and techniques, and development concerns -- Interoperability and integration -- Tools and testbeds -- MAS techniques -- Empirical studies and (industrial) experience reports. |
| Record Nr. | UNISA-996466224403316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Fundamental Approaches to Software Engineering [[electronic resource] ] : 9th International Conference, FASE 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006, Proceedings / / edited by Luciano Baresi, Reiko Heckel
| Fundamental Approaches to Software Engineering [[electronic resource] ] : 9th International Conference, FASE 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006, Proceedings / / edited by Luciano Baresi, Reiko Heckel |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
| Descrizione fisica | 1 online resource (XIV, 425 p.) |
| Disciplina | 005.1 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Software engineering
Computer science Compilers (Computer programs) Software Engineering Computer Science Logic and Foundations of Programming Compilers and Interpreters |
| ISBN | 3-540-33094-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Contributions -- A Programming Model for Service Oriented Applications -- Software Engineering: Emerging Goals and Lasting Problems -- Distributed Systems -- GPSL: A Programming Language for Service Implementation -- A Formal Approach to Event-Based Architectures -- Engineering Self-protection for Autonomous Systems -- Orthogonal Process Activities -- A Graph-Based Approach to Transform XML Documents -- OMake: Designing a Scalable Build Process -- Automatic Generation of Tutorial Systems from Development Specification -- A Software Implementation Progress Model -- Behavioral Models and State Machines -- Regular Inference for State Machines with Parameters -- Automated Support for Building Behavioral Models of Event-Driven Systems -- A Behavioral Model for Software Containers -- Empirical Studies -- An Empirical Study of the Impact of Asynchronous Discussions on Remote Synchronous Requirements Meetings -- Evaluation of Expected Software Quality: A Customer’s Viewpoint -- Using Design Metrics for Predicting System Flexibility -- Requirements and Design -- Combining Problem Frames and UML in the Description of Software Requirements -- Amplifying the Benefits of Design Patterns: From Specification Through Implementation -- The Good, the Bad and the Ugly: Well-Formedness of Live Sequence Charts -- Concerned About Separation -- Model-Based Development -- Algebraic Specification of a Model Transformation Engine -- Fundamentals of Debugging Using a Resolution Calculus -- A Technique to Represent and Generate Components in MDA/PIM for Automation -- Validation and Verification -- Argus: Online Statistical Bug Detection -- From Faults Via Test Purposes to Test Cases: On the Fault-Based Testing of Concurrent Systems -- Automated Systematic Testing of Open Distributed Programs -- Formal Simulation and Analysis of the CASH Scheduling Algorithm in Real-Time Maude -- Tool Demonstrations -- JAG: JML Annotation Generation for Verifying Temporal Properties -- LearnLib: A Library for Automata Learning and Experimentation -- Software Evolution -- Trace-Based Memory Aliasing Across Program Versions -- The Pervasiveness of Global Data in Evolving Software Systems -- Relation of Code Clones and Change Couplings. |
| Record Nr. | UNISA-996465810603316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Fundamental Approaches to Software Engineering [[electronic resource] ] : 9th International Conference, FASE 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006, Proceedings / / edited by Luciano Baresi, Reiko Heckel
| Fundamental Approaches to Software Engineering [[electronic resource] ] : 9th International Conference, FASE 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006, Proceedings / / edited by Luciano Baresi, Reiko Heckel |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
| Descrizione fisica | 1 online resource (XIV, 425 p.) |
| Disciplina | 005.1 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Software engineering
Computer science Compilers (Computer programs) Software Engineering Computer Science Logic and Foundations of Programming Compilers and Interpreters |
| ISBN | 3-540-33094-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Contributions -- A Programming Model for Service Oriented Applications -- Software Engineering: Emerging Goals and Lasting Problems -- Distributed Systems -- GPSL: A Programming Language for Service Implementation -- A Formal Approach to Event-Based Architectures -- Engineering Self-protection for Autonomous Systems -- Orthogonal Process Activities -- A Graph-Based Approach to Transform XML Documents -- OMake: Designing a Scalable Build Process -- Automatic Generation of Tutorial Systems from Development Specification -- A Software Implementation Progress Model -- Behavioral Models and State Machines -- Regular Inference for State Machines with Parameters -- Automated Support for Building Behavioral Models of Event-Driven Systems -- A Behavioral Model for Software Containers -- Empirical Studies -- An Empirical Study of the Impact of Asynchronous Discussions on Remote Synchronous Requirements Meetings -- Evaluation of Expected Software Quality: A Customer’s Viewpoint -- Using Design Metrics for Predicting System Flexibility -- Requirements and Design -- Combining Problem Frames and UML in the Description of Software Requirements -- Amplifying the Benefits of Design Patterns: From Specification Through Implementation -- The Good, the Bad and the Ugly: Well-Formedness of Live Sequence Charts -- Concerned About Separation -- Model-Based Development -- Algebraic Specification of a Model Transformation Engine -- Fundamentals of Debugging Using a Resolution Calculus -- A Technique to Represent and Generate Components in MDA/PIM for Automation -- Validation and Verification -- Argus: Online Statistical Bug Detection -- From Faults Via Test Purposes to Test Cases: On the Fault-Based Testing of Concurrent Systems -- Automated Systematic Testing of Open Distributed Programs -- Formal Simulation and Analysis of the CASH Scheduling Algorithm in Real-Time Maude -- Tool Demonstrations -- JAG: JML Annotation Generation for Verifying Temporal Properties -- LearnLib: A Library for Automata Learning and Experimentation -- Software Evolution -- Trace-Based Memory Aliasing Across Program Versions -- The Pervasiveness of Global Data in Evolving Software Systems -- Relation of Code Clones and Change Couplings. |
| Record Nr. | UNINA-9910482962403321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Service-Oriented Computing [[electronic resource] ] : 7th International Joint Conference, ICSOC-ServiceWave 2009, Stockholm, Sweden, November 24-27, 2009, Proceedings / / edited by Luciano Baresi, Chi-Hung Chi, Jun Suzuki
| Service-Oriented Computing [[electronic resource] ] : 7th International Joint Conference, ICSOC-ServiceWave 2009, Stockholm, Sweden, November 24-27, 2009, Proceedings / / edited by Luciano Baresi, Chi-Hung Chi, Jun Suzuki |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (XVI, 659 p.) |
| Disciplina | 004n/a |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Computer communication systems
Application software Management information systems Computer science Software engineering Computer software—Reusability Computer Communication Networks Computer Appl. in Administrative Data Processing Management of Computing and Information Systems Information Systems Applications (incl. Internet) Software Engineering Performance and Reliability |
| Soggetto genere / forma |
Kongress.
Stockholm (2009) |
| ISBN | 3-642-10383-9 |
| Classificazione |
DAT 250f
DAT 310f DAT 616f SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Composition -- Facilitating Workflow Interoperation Using Artifact-Centric Hubs -- Aspect Orientation for Composite Services in the Telecommunication Domain -- Intelligent Overload Control for Composite Web Services -- Discovery -- Trust-Oriented Composite Service Selection and Discovery -- A Two-Tiered Approach to Enabling Enhanced Service Discovery in Embedded Peer-to-Peer Systems -- Web Service Selection with Incomplete or Inconsistent User Preferences -- Design Principles -- Energy-Aware Design of Service-Based Applications -- Action Patterns in Business Process Models -- Artifact-Centric Workflow Dominance -- Customization and Adaptation -- Requirements-Driven Collaborative Choreography Customization -- An Automatic Approach to Enable Replacement of Conversational Services -- Towards Adaptable SOA: Model Driven Development, Context and Aspect -- Negotiation, Agreements, and Compliance -- Modeling Service Level Agreements with Binary Decision Diagrams -- Provider-Composer Negotiations for Semantic Robustness in Service Compositions -- Evaluating Contract Compatibility for Service Composition in the SeCO2 Framework -- Explaining the Non-compliance between Templates and Agreement Offers in WS-Agreement -- Selection -- A Probabilistic Approach to Service Selection with Conditional Contracts and Usage Patterns -- ServiceTrust: Supporting Reputation-Oriented Service Selection -- QoS Browsing for Web Service Selection -- Platforms and Infrastructures -- An Orchestration as a Service Infrastructure Using Grid Technologies and WS-BPEL -- The FAST Platform: An Open and Semantically-Enriched Platform for Designing Multi-channel and Enterprise-Class Gadgets -- Message-Oriented Middleware with QoS Awareness -- Short Papers I -- Learning the Control-Flow of a Business Process Using ICN-Based Process Models -- Fine-Grained Recommendation Systems for Service Attribute Exchange -- A Generative Framework for Service Process Composition -- Achieving Predictability and Service Differentiation in Web Services -- Security -- Incorporating Security Requirements into Service Composition: From Modelling to Execution -- End-to-End Security for Enterprise Mashups -- A Genetic Algorithms-Based Approach for Optimized Self-protection in a Pervasive Service Middleware -- Short Papers II -- Role of Process Modeling in Software Service Design -- Assisting Trustworthiness Based Web Services Selection Using the Fidelity of Websites -- Web Service Search on Large Scale -- Enabling Adaptation of Pervasive Flows: Built-in Contextual Adaptation -- Modeling and Design -- A Service-Oriented UML Profile with Formal Support -- Designing Workflows on the Fly Using e-BioFlow -- Measuring the Quality of Service Oriented Design -- Validation and Verification -- Specification, Verification and Explanation of Violation for Data Aware Compliance Rules -- Generating Interface Grammars from WSDL for Automated Verification of Web Services -- Satisfaction of Control Objectives by Control Processes -- Reputation and Ranking -- Effective and Flexible NFP-Based Ranking of Web Services -- Combining Quality of Service and Social Information for Ranking Services -- Web Services Reputation Assessment Using a Hidden Markov Model -- Service Management -- MC-Cube: Mastering Customizable Compliance in the Cloud -- Another Approach to Service Instance Migration -- Distributed Cross-Domain Configuration Management -- Demonstrations -- A Pluggable Framework for Tracking and Managing Faults in Service-Oriented Systems -- Distributed Access Control Management – A XACML-Based Approach -- Engage: Engineering Service Modes with WS-Engineer and Dino -- FAST-SE: An ESB Based Framework for SLA Trading -- Gelee: Cooperative Lifecycle Management for (Composite) Artifacts -- Hosted Universal Integration on the Web: The mashArt Platform -- Sec-MoSC Tooling - Incorporating Security Requirements into Service Composition -- Services Inside the Smart Home: A Simulation and Visualization Tool -- SLA Management and Contract-Based Service Execution. |
| Record Nr. | UNISA-996466278203316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Service-Oriented Computing [[electronic resource] ] : 7th International Joint Conference, ICSOC-ServiceWave 2009, Stockholm, Sweden, November 24-27, 2009, Proceedings / / edited by Luciano Baresi, Chi-Hung Chi, Jun Suzuki
| Service-Oriented Computing [[electronic resource] ] : 7th International Joint Conference, ICSOC-ServiceWave 2009, Stockholm, Sweden, November 24-27, 2009, Proceedings / / edited by Luciano Baresi, Chi-Hung Chi, Jun Suzuki |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (XVI, 659 p.) |
| Disciplina | 004n/a |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Computer communication systems
Application software Management information systems Computer science Software engineering Computer software—Reusability Computer Communication Networks Computer Appl. in Administrative Data Processing Management of Computing and Information Systems Information Systems Applications (incl. Internet) Software Engineering Performance and Reliability |
| Soggetto genere / forma |
Kongress.
Stockholm (2009) |
| ISBN | 3-642-10383-9 |
| Classificazione |
DAT 250f
DAT 310f DAT 616f SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Composition -- Facilitating Workflow Interoperation Using Artifact-Centric Hubs -- Aspect Orientation for Composite Services in the Telecommunication Domain -- Intelligent Overload Control for Composite Web Services -- Discovery -- Trust-Oriented Composite Service Selection and Discovery -- A Two-Tiered Approach to Enabling Enhanced Service Discovery in Embedded Peer-to-Peer Systems -- Web Service Selection with Incomplete or Inconsistent User Preferences -- Design Principles -- Energy-Aware Design of Service-Based Applications -- Action Patterns in Business Process Models -- Artifact-Centric Workflow Dominance -- Customization and Adaptation -- Requirements-Driven Collaborative Choreography Customization -- An Automatic Approach to Enable Replacement of Conversational Services -- Towards Adaptable SOA: Model Driven Development, Context and Aspect -- Negotiation, Agreements, and Compliance -- Modeling Service Level Agreements with Binary Decision Diagrams -- Provider-Composer Negotiations for Semantic Robustness in Service Compositions -- Evaluating Contract Compatibility for Service Composition in the SeCO2 Framework -- Explaining the Non-compliance between Templates and Agreement Offers in WS-Agreement -- Selection -- A Probabilistic Approach to Service Selection with Conditional Contracts and Usage Patterns -- ServiceTrust: Supporting Reputation-Oriented Service Selection -- QoS Browsing for Web Service Selection -- Platforms and Infrastructures -- An Orchestration as a Service Infrastructure Using Grid Technologies and WS-BPEL -- The FAST Platform: An Open and Semantically-Enriched Platform for Designing Multi-channel and Enterprise-Class Gadgets -- Message-Oriented Middleware with QoS Awareness -- Short Papers I -- Learning the Control-Flow of a Business Process Using ICN-Based Process Models -- Fine-Grained Recommendation Systems for Service Attribute Exchange -- A Generative Framework for Service Process Composition -- Achieving Predictability and Service Differentiation in Web Services -- Security -- Incorporating Security Requirements into Service Composition: From Modelling to Execution -- End-to-End Security for Enterprise Mashups -- A Genetic Algorithms-Based Approach for Optimized Self-protection in a Pervasive Service Middleware -- Short Papers II -- Role of Process Modeling in Software Service Design -- Assisting Trustworthiness Based Web Services Selection Using the Fidelity of Websites -- Web Service Search on Large Scale -- Enabling Adaptation of Pervasive Flows: Built-in Contextual Adaptation -- Modeling and Design -- A Service-Oriented UML Profile with Formal Support -- Designing Workflows on the Fly Using e-BioFlow -- Measuring the Quality of Service Oriented Design -- Validation and Verification -- Specification, Verification and Explanation of Violation for Data Aware Compliance Rules -- Generating Interface Grammars from WSDL for Automated Verification of Web Services -- Satisfaction of Control Objectives by Control Processes -- Reputation and Ranking -- Effective and Flexible NFP-Based Ranking of Web Services -- Combining Quality of Service and Social Information for Ranking Services -- Web Services Reputation Assessment Using a Hidden Markov Model -- Service Management -- MC-Cube: Mastering Customizable Compliance in the Cloud -- Another Approach to Service Instance Migration -- Distributed Cross-Domain Configuration Management -- Demonstrations -- A Pluggable Framework for Tracking and Managing Faults in Service-Oriented Systems -- Distributed Access Control Management – A XACML-Based Approach -- Engage: Engineering Service Modes with WS-Engineer and Dino -- FAST-SE: An ESB Based Framework for SLA Trading -- Gelee: Cooperative Lifecycle Management for (Composite) Artifacts -- Hosted Universal Integration on the Web: The mashArt Platform -- Sec-MoSC Tooling - Incorporating Security Requirements into Service Composition -- Services Inside the Smart Home: A Simulation and Visualization Tool -- SLA Management and Contract-Based Service Execution. |
| Record Nr. | UNINA-9910484689703321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Ubiquitous Mobile Information and Collaboration Systems [[electronic resource] ] : Second CAiSE Workshop, UMICS 2004, Riga, Latvia, June 7-8, 2004, Revised Selected Papers / / edited by Luciano Baresi, Schahram Dustdar, Harald Gall, Maristella Matera
| Ubiquitous Mobile Information and Collaboration Systems [[electronic resource] ] : Second CAiSE Workshop, UMICS 2004, Riga, Latvia, June 7-8, 2004, Revised Selected Papers / / edited by Luciano Baresi, Schahram Dustdar, Harald Gall, Maristella Matera |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
| Descrizione fisica | 1 online resource (VIII, 197 p.) |
| Disciplina | 005.1/085 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Application software
Computer communication systems Information storage and retrieval Software engineering User interfaces (Computer systems) Information Systems Applications (incl. Internet) Computer Communication Networks Information Storage and Retrieval Software Engineering User Interfaces and Human Computer Interaction |
| ISBN | 3-540-30188-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talk -- Paper on the Move -- Data and Context Management -- A Natural Language Model for Managing TV-Anytime Information in Mobile Environments -- Updated Data Dissemination in Ad Hoc Networks -- Modelling Context for Information Environments -- Coordination and Control -- Distributed Task Processing Within the Mobile Memory Aid System MEMOS -- Towards an Approach for Coordinating Personalized Composite Services in an Environment of Mobile Users -- Workflow Management in Mobile Environments -- Application Frameworks (I) -- DIWE: A Framework for Constructing Device-Independent Web Applications -- A Conceptual Framework for Monitoring and Control System Development -- Process Modeling -- Evolution of Mobile Services: An Analysis of Current Architectures with Prospect to Future -- Collaborative Design of Web Service Networks in a Multilingual User Community -- Application Frameworks (II) -- Process Mining for Ubiquitous Mobile Systems: An Overview and a Concrete Algorithm -- Activity-Based Support for Mobility and Collaboration in Ubiquitous Computing -- Component-Based Development of Web-Enabled eHome Services. |
| Record Nr. | UNISA-996466365703316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Ubiquitous Mobile Information and Collaboration Systems [[electronic resource] ] : Second CAiSE Workshop, UMICS 2004, Riga, Latvia, June 7-8, 2004, Revised Selected Papers / / edited by Luciano Baresi, Schahram Dustdar, Harald Gall, Maristella Matera
| Ubiquitous Mobile Information and Collaboration Systems [[electronic resource] ] : Second CAiSE Workshop, UMICS 2004, Riga, Latvia, June 7-8, 2004, Revised Selected Papers / / edited by Luciano Baresi, Schahram Dustdar, Harald Gall, Maristella Matera |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
| Descrizione fisica | 1 online resource (VIII, 197 p.) |
| Disciplina | 005.1/085 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Application software
Computer communication systems Information storage and retrieval Software engineering User interfaces (Computer systems) Information Systems Applications (incl. Internet) Computer Communication Networks Information Storage and Retrieval Software Engineering User Interfaces and Human Computer Interaction |
| ISBN | 3-540-30188-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talk -- Paper on the Move -- Data and Context Management -- A Natural Language Model for Managing TV-Anytime Information in Mobile Environments -- Updated Data Dissemination in Ad Hoc Networks -- Modelling Context for Information Environments -- Coordination and Control -- Distributed Task Processing Within the Mobile Memory Aid System MEMOS -- Towards an Approach for Coordinating Personalized Composite Services in an Environment of Mobile Users -- Workflow Management in Mobile Environments -- Application Frameworks (I) -- DIWE: A Framework for Constructing Device-Independent Web Applications -- A Conceptual Framework for Monitoring and Control System Development -- Process Modeling -- Evolution of Mobile Services: An Analysis of Current Architectures with Prospect to Future -- Collaborative Design of Web Service Networks in a Multilingual User Community -- Application Frameworks (II) -- Process Mining for Ubiquitous Mobile Systems: An Overview and a Concrete Algorithm -- Activity-Based Support for Mobility and Collaboration in Ubiquitous Computing -- Component-Based Development of Web-Enabled eHome Services. |
| Record Nr. | UNINA-9910483497903321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
